Formal Methods & Traditional Engineering : by Michael Jackson
نویسنده
چکیده
Formal methods have not been taken up by industry to the extent that their creators and advocates think desirable. Certainly there have been some important successes. The Praxis CDIS development, the IBM Hursley redevelopment of CICS, the TCAS system, the INMOS T9000 transputer and a number of others are well known; but their very notability indicates how few convincing examples there are. And even among the claimed successes some, such as the CICS project, used a formal notation but made no use of the opportunities for formal analysis, calculation or proof.
منابع مشابه
Formalism and Informality in RE
Requirements Engineering lies at the meeting place between the formal and the informal in software development. Computer programs are effectively formal constructs, admitting treatment by mathematical methods based on type theory, preconditions and postconditions, and invariants. But the world of human beings and physical objects in which the requirements are located is informal, and can not be...
متن کاملDomain Speciic Problem Description
Much of software engineering and knowledge engineering has concentrated on generic languages and methods which are supposed to be transferable between domains. By contrast, engineers working in real domains usually employ domain-speciic methods and terminology which have evolved from their experience in getting the job done. This paper argues that we have paid too little attention to instantiat...
متن کاملThe Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of network and telecommunica tion protocols The aim is to show an e ective integration of methodology and tools in a software engineering task that proceeds from user level re quirements to an implementation In particular we ...
متن کاملSoftware Abstractions - Logic, Language, and Analysis
In Software Abstractions Daniel Jackson introduces an approach tosoftware design that draws on traditional formal methods but exploits automated tools to find flawsas early as possible. This approach--which Jackson calls "lightweight formal methods" or"agile modeling"--takes from formal specification the idea of a precise and expressivenotation based on a tiny core of simple and robust concepts...
متن کاملThe Name and Nature of Software Engineering
The nature of software engineering is discussed with particular reference to softwareintensive application systems—those whose fundamental purpose is to bring about desired effects in a physical and human problem world by interaction with a programmed machine. Such systems bring together a problem world—which is typically composed of heterogeneous domains, most of which are non-formal—and the f...
متن کامل